
kernel_lib_sources(string.c)

if(CONFIG_CRC32)
  kernel_lib_sources(crc32.c)

  if(CONFIG_CRC32_SLICEBY8)

  elseif(CONFIG_CRC32_SLICEBY4)
  elseif(CONFIG_CRC32_SARWATE)
  endif()

  add_custom_target(crc32table)
endif()

if(CONFIG_BITREVERSE)
  kernel_lib_sources(bitrev.c)
endif()
